Symbolische Ausführung Ausgehend von symbolischen Eingangsvariablen werden die Werte der Ausgangsvariablen symbolisch bestimmt. Damit läßt sich der Datenfluß durch ein Programm darstellen und der Quellcode anhand symbolischer Namen testen.
Gefunden auf https://www.enzyklo.de/Lokal/40006
Symbolische Ausführung Ausgehend von symbolischen Eingangsvariablen werden die Werte der Ausgangsvariablen symbolisch bestimmt. Damit läßt sich der Datenfluß durch ein Programm darstellen und der Quellcode anhand symbolischer Namen testen.